Optimal. Leaf size=57 \[ \frac{b \log \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right )}{2 d \left (a^2+b^2\right )}+\frac{a x^2}{2 \left (a^2+b^2\right )} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.0779404, antiderivative size = 57, normalized size of antiderivative = 1., number of steps used = 3, number of rules used = 3, integrand size = 16, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.188, Rules used = {3747, 3484, 3530} \[ \frac{b \log \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right )}{2 d \left (a^2+b^2\right )}+\frac{a x^2}{2 \left (a^2+b^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3747
Rule 3484
Rule 3530
Rubi steps
\begin{align*} \int \frac{x}{a+b \tan \left (c+d x^2\right )} \, dx &=\frac{1}{2} \operatorname{Subst}\left (\int \frac{1}{a+b \tan (c+d x)} \, dx,x,x^2\right )\\ &=\frac{a x^2}{2 \left (a^2+b^2\right )}+\frac{b \operatorname{Subst}\left (\int \frac{b-a \tan (c+d x)}{a+b \tan (c+d x)} \, dx,x,x^2\right )}{2 \left (a^2+b^2\right )}\\ &=\frac{a x^2}{2 \left (a^2+b^2\right )}+\frac{b \log \left (a \cos \left (c+d x^2\right )+b \sin \left (c+d x^2\right )\right )}{2 \left (a^2+b^2\right ) d}\\ \end{align*}
Mathematica [C] time = 0.135128, size = 82, normalized size = 1.44 \[ \frac{(-b-i a) \log \left (-\tan \left (c+d x^2\right )+i\right )+i (a+i b) \log \left (\tan \left (c+d x^2\right )+i\right )+2 b \log \left (a+b \tan \left (c+d x^2\right )\right )}{4 d \left (a^2+b^2\right )} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [A] time = 0.028, size = 82, normalized size = 1.4 \begin{align*} -{\frac{b\ln \left ( 1+ \left ( \tan \left ( d{x}^{2}+c \right ) \right ) ^{2} \right ) }{4\,d \left ({a}^{2}+{b}^{2} \right ) }}+{\frac{a\arctan \left ( \tan \left ( d{x}^{2}+c \right ) \right ) }{2\,d \left ({a}^{2}+{b}^{2} \right ) }}+{\frac{b\ln \left ( a+b\tan \left ( d{x}^{2}+c \right ) \right ) }{2\,d \left ({a}^{2}+{b}^{2} \right ) }} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.21489, size = 193, normalized size = 3.39 \begin{align*} \frac{2 \, a d x^{2} + b \log \left (\frac{{\left (a^{2} + b^{2}\right )} \cos \left (2 \, d x^{2} + 2 \, c\right )^{2} + 4 \, a b \sin \left (2 \, d x^{2} + 2 \, c\right ) +{\left (a^{2} + b^{2}\right )} \sin \left (2 \, d x^{2} + 2 \, c\right )^{2} + a^{2} + b^{2} + 2 \,{\left (a^{2} - b^{2}\right )} \cos \left (2 \, d x^{2} + 2 \, c\right )}{{\left (a^{2} + b^{2}\right )} \cos \left (2 \, c\right )^{2} +{\left (a^{2} + b^{2}\right )} \sin \left (2 \, c\right )^{2}}\right )}{4 \,{\left (a^{2} + b^{2}\right )} d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [A] time = 1.60962, size = 158, normalized size = 2.77 \begin{align*} \frac{2 \, a d x^{2} + b \log \left (\frac{b^{2} \tan \left (d x^{2} + c\right )^{2} + 2 \, a b \tan \left (d x^{2} + c\right ) + a^{2}}{\tan \left (d x^{2} + c\right )^{2} + 1}\right )}{4 \,{\left (a^{2} + b^{2}\right )} d} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 3.03411, size = 360, normalized size = 6.32 \begin{align*} \begin{cases} \frac{\tilde{\infty } x^{2}}{\tan{\left (c \right )}} & \text{for}\: a = 0 \wedge b = 0 \wedge d = 0 \\\frac{x^{2}}{2 a} & \text{for}\: b = 0 \\- \frac{i \left (\operatorname{atan}{\left (\tan{\left (c + d x^{2} \right )} \right )} + \pi \left \lfloor{\frac{c + d x^{2} - \frac{\pi }{2}}{\pi }}\right \rfloor \right ) \tan{\left (c + d x^{2} \right )}}{- 4 b d \tan{\left (c + d x^{2} \right )} + 4 i b d} - \frac{\operatorname{atan}{\left (\tan{\left (c + d x^{2} \right )} \right )} + \pi \left \lfloor{\frac{c + d x^{2} - \frac{\pi }{2}}{\pi }}\right \rfloor }{- 4 b d \tan{\left (c + d x^{2} \right )} + 4 i b d} - \frac{i}{- 4 b d \tan{\left (c + d x^{2} \right )} + 4 i b d} & \text{for}\: a = - i b \\- \frac{i \left (\operatorname{atan}{\left (\tan{\left (c + d x^{2} \right )} \right )} + \pi \left \lfloor{\frac{c + d x^{2} - \frac{\pi }{2}}{\pi }}\right \rfloor \right ) \tan{\left (c + d x^{2} \right )}}{4 b d \tan{\left (c + d x^{2} \right )} + 4 i b d} + \frac{\operatorname{atan}{\left (\tan{\left (c + d x^{2} \right )} \right )} + \pi \left \lfloor{\frac{c + d x^{2} - \frac{\pi }{2}}{\pi }}\right \rfloor }{4 b d \tan{\left (c + d x^{2} \right )} + 4 i b d} - \frac{i}{4 b d \tan{\left (c + d x^{2} \right )} + 4 i b d} & \text{for}\: a = i b \\\frac{x^{2}}{2 \left (a + b \tan{\left (c \right )}\right )} & \text{for}\: d = 0 \\\frac{2 a d x^{2}}{4 a^{2} d + 4 b^{2} d} + \frac{2 b \log{\left (\frac{a}{b} + \tan{\left (c + d x^{2} \right )} \right )}}{4 a^{2} d + 4 b^{2} d} - \frac{b \log{\left (\tan ^{2}{\left (c + d x^{2} \right )} + 1 \right )}}{4 a^{2} d + 4 b^{2} d} & \text{otherwise} \end{cases} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [A] time = 1.18423, size = 116, normalized size = 2.04 \begin{align*} \frac{b^{2} \log \left ({\left | b \tan \left (d x^{2} + c\right ) + a \right |}\right )}{2 \,{\left (a^{2} b d + b^{3} d\right )}} + \frac{{\left (d x^{2} + c\right )} a}{2 \,{\left (a^{2} d + b^{2} d\right )}} - \frac{b \log \left (\tan \left (d x^{2} + c\right )^{2} + 1\right )}{4 \,{\left (a^{2} d + b^{2} d\right )}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]